Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
271	Another Tutorial for FoCaLize: Playing with Proofs Franc¸ois Pessaux ENSTA ParisTech March 2014 Add to Reading List Source URL: focalize.inria.fr Language: English - Date: 2014-10-13 13:14:08 Proof theory Mathematical proofs IP Mathematics Mathematical logic Logic
272	Balancing lists: a proof pearl? Guyslain Naves1 and Arnaud Spiwack2 1 Aix Marseille Université, CNRS, LIF UMR 7279, 13288, Marseille, France Add to Reading List Source URL: assert-false.net Language: English - Date: 2014-06-13 08:06:32 Recursion Higher-order functions Functional languages Mathematical logic Computability theory Binary tree Map Tree Binary search tree Computer programming Computing Software engineering
273	A GENERALIZED JACOBI THETA FUNCTION AND QUASIMODULAR FORMS Masanobu Kaneko and Don Zagier In this note we give a direct proof using the theory of modular forms of a beautiful Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2011-05-27 05:03:40 Mathematics Elliptic functions Q-analogs Analytic number theory Theta function Letter Mock modular form Symbol Mathematical analysis Complex analysis Modular forms
274	Polarized Resolution Modulo Gilles Dowek ´ Ecole polytechnique and INRIA ´ Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:45 Proof theory Automated theorem proving Rules of inference Resolution Unification Sequent calculus Function Admissible rule Cut-elimination theorem Mathematical logic Logic Mathematics
275	An Abstract Completion Procedure for Cut Elimination in Deduction Modulo LICS 2006 Guillaume Burel + Claude Kirchner ´ LORIA × (Ecole Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:29:08 Mathematics Cut-elimination theorem Sequent calculus Sequent Gerhard Gentzen Natural deduction Proof theory Mathematical logic Logic
276	Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:44 Model theory Formal methods Propositional calculus Predicate logic Function Lambda calculus Forcing Well-formed formula Atomic formula Logic Mathematical logic Mathematics
277	Embedding Deduction Modulo into a Prover Guillaume Burel Max Planck Institute for Informatics Saarland University Saarbr¨ ucken, Germany Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:11:07 Automated theorem proving Deduction Propositional calculus Rules of inference Sequent calculus Entailment Cut-elimination theorem Resolution Natural deduction Logic Mathematical logic Proof theory
278	Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA & INRIA-Lorraine Add to Reading List Source URL: www.loria.fr Language: English - Date: 2005-01-31 14:08:48 Natural deduction Curry–Howard correspondence Sequent calculus Entailment Cut-elimination theorem Sequent Linear logic Intuitionistic logic Soundness Logic Mathematical logic Proof theory
279	ON THE DISTRIBUTION OF THE NUMBER OF CYCLES OF ELEMENTS IN SYMMETRIC GROUPS Don Zagier Max-Planck-Institut f¨ ur Mathematik, Bonn Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2011-06-28 09:31:55 Combinatorics Permutation Homotopy theory Operator theory Μ operator Proof that π is irrational Mathematics Abstract algebra Mathematical analysis
280	Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:53 Mathematical logic Deduction Proof theory Dependently typed programming Type theory Natural deduction Entailment Symbol Calculus of constructions Logic Theoretical computer science Lambda calculus

UPDATE